A General Purpose Inference Engine for Evidential Reasoning Research

نویسندگان

  • Richard M. Tong
  • Lee A. Appelbaum
  • Daniel G. Shapiro
چکیده

The purpose of this paper is to report on the most recent developments in our ongoing investigation of th.e representation and manipulation of uncertainty in automated reasoning systems. In our earlier studies (Tong and Shapiro, 1985) we described a series of experiments with Rt;BRIC (Tong e t al., 198.'5), a. system for full-text document retrieval, that generated some interesting insights into the effects of choosing among a. class of scalar valued uncertainty calculi. In order to extend these results we have begun a. new series of experiments with a larger class of representations and calculi, and to help perform these experiments we have developed a. genera.! purpose inference engine.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Prototype Inference Engine for Rule-Based Geometric Reasoning

Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implemented, permitting experiments with the Isaac language. This paper discusses this inference engine, describes some preliminary experiences with programming Isaac rulesets, and proposes future optimizations and enhancements to the i...

متن کامل

Evidential Reasoning for Object Recognition

The authors present a framework to guide development of evidential reasoning in object recognition systems. Principles of evidential reasoning processes for open-world object recognition are proposed and applied to build evidential reasoning capabilities. The principles summarize research and findings by the authors up through the mid-1990s, including seminal results in object-centered computer...

متن کامل

Reason Maintenance in a Hybrid Reasoning System

One can gain efficiency in an inference system by using special-purpose representations for reasoning about certain predicates, but some such representations make it impossible for the system to keep track of the reasons for which it holds each of its beliefs. We illustrate the potential conflict with some examples, and distill some general principles for designing representations that can supp...

متن کامل

Performance Evaluation of Algorithms for Soft Evidential Update in Bayesian Networks: First Results

In this paper we analyze the performance of three algorithms for soft evidential update, in which a probability distribution represented by a Bayesian network is modified to a new distribution constrained by given marginals, and closest to the original distribution according to cross entropy. The first algorithm is a new and improved version of the big clique algorithm [1] that utilizes lazy pr...

متن کامل

Evidential Bilattice Logic and Lexical Inference

This paper presents the current state of the logic that I am using to analyse entailment, implicature and presupposition in natural language. The logic is very ne-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality , paraconsis-tency , relevance , and defeasibili...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1304.3113  شماره 

صفحات  -

تاریخ انتشار 2011